121. From logic design to logic programming : theorem proving techniques and P-functions
پدیدآورنده : Snyers, Dominique, 9591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving,، Computer algorithms,، Logic programming
رده :
QA
76
.
L28
Vol
.
271
122. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses
رده :
QA
76
.
6
.
F853
1993
123. Fundamentals of Digital Circuits
پدیدآورنده : Ramayya Kumar
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Digital integrated circuits - Computer-aided design,Congresses ، Automatic theorem proving
رده :
TK
7874
.
65
.
F23
A54
124. Geometric reasoning for perception and action : Workshop, Grenoble, France, September 16-17, 1991 : selected papers
پدیدآورنده : Christian Laugier )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Computer vision,Congresses ، Robotics,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
708
125. Geometric reasoning for perception and action : workshop, Grenoble, France, September 16-17, 1991 : selected papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Computer vision-- Congresses,، Robotics-- Congresses,، Automatic theorem proving-- Congresses
رده :
Q
334
.
G465
1993
126. Handbook of tableau methods
پدیدآورنده : edited by Marcello D'Agostino [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic theorem proving.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
2011
127. Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
I34
1992
128. Higher order logic theorem proving and its applications : 6th International Workshop, HUG'93, Vancouver, B.C. Canada, August 11-13, 1993 : proceedings
پدیدآورنده : Jeffrey J. Joyce, Carl-Johan H. Seger, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
780
129. Higher order logic theorem proving and its applications : 7th International Workshop Valleta, Malta, September 19-22, 1994
پدیدآورنده : Thomas F. Melham, Juanito Camilleri )eds(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
859
130. Instantiation theory : on the foundations of automated deduction
پدیدآورنده : Williams, James G.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
518
131. Instantiation theory : on the foundations of automated deduction
پدیدآورنده : Williams, James G.
موضوع : ، Automatic theorem proving
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
132. Introduction to HOL : a theorem proving environment for higher order logic
پدیدآورنده : edited by M.J.C. Gordon and T.F. Melham
موضوع : Automatic theorem proving,ML (Computer program language),HOL (Computer file)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
133. Introduction to mathematical logic and resolution principle
پدیدآورنده : Wang, Guojun, 5391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96W26
2009
134. Isabelle/HOL : a proof assistant for higher-order logic
پدیدآورنده : Nipkow, Tobias, 8591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer logic,، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2283
135. Isabelle : a generic theorem prover
پدیدآورنده : Paulson, Lawrance C.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving,، Isabelle )Computer file(
رده :
QA
76
.
L28
Vol
.
828
136. KI-96 :
پدیدآورنده : Günther Görz, Steffen Hölldobler, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Automatic theorem proving -- Congresses.,Knowledge representation (Information theory) -- Congresses.
137. Lectures on proof verification and approximation algorithms
پدیدآورنده : Ernst W. Mayr, Hans Jurgen Promel, Angelika Steger )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving,، Computer algorithms,، Approximation theory
رده :
QA
76
.
L28
Vol
.
1367
138. Les mathematiques a la portee de l'ordinateur
پدیدآورنده : Arnold, Ander
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical,، Programming languages )Electronic computers(
رده :
Q
335
.
A75
139. Logic for computer science:foundations of automatic theorem
پدیدآورنده : GALLIER,JEAN H
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
G35
140. Logic for computer science : foundations of automatic theorem proving
پدیدآورنده : Gallier, Jean H.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
G35
